Chartres, 9-11 rue de Varize

Mathematics at Chartres Cathedral

Having had several opportunities to travel to France, often with groups of students, our trips have usually included a visit to Chartres, especially to visit the magnificent Gothic cathedral that dominates the town. On a recent visit I was again struck by the beauty, majesty and awe that the cathedral inspires. The building not only does a remarkable job of telling Biblical stories and of enclo...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

Mesusage du tramadol par les adolescents et jeunes adultes en situation de rue

L’objectif de cette étude transversale et descriptive était de décrire quelques caractéristiques de l’addiction au Tramadol chez les adolescents et jeunes adultes en situation de rue, rattachés aux centres d’écoute du Service Educatif, Judiciaire et préventif (SEJUP) de Niamey. Le recueil des données a porté sur les variables sociodémographiques et la consommation de tramadol. L’analyse des don...

CP Debugging Needs and Tools

1 Cosytec, Parc Club Orsay Universite, 4, rue Jean Rostand, 91893 Orsay Cedex, France. [email protected] 2 Facultad de Informática, Universidad Politécnica de Madrid, 28660-Boadilla del Monte, Madrid, Spain. fbueno,herme,[email protected] 3 INRIA-Rocquencourt, Projet LOCO, BP 105, F-78153 Le Chesnay Cedex, France. [email protected] 4 ICON s.r.l., Viale dell’Industria 21, 37121 Verona, I...